<!DOCTYPE html>
<!-- Any copyright is dedicated to the Public Domain.
   - http://creativecommons.org/publicdomain/zero/1.0/ -->

<html>
  <body>
    <details open>
      <summary style="display: none;">summary (display: none)</summary>
    </details>
  </body>
</html>
